Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
571	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-06-15 11:37:40 Model theory Automated theorem proving Resolution First-order logic IP Interpretation
572	Two Can Keep a Secret: A Distributed Architecture for Secure Database Services G. Aggarwal, M. Bawa, P. Ganesan, H. Garcia-Molina, K. Kenthapadi, R. Motwani, U. Srivastava, D. Thomas, Y. Xu Stanford University {gagan, ba Add to Reading List Source URL: www-db.cs.wisc.edu Language: English - Date: 2011-09-16 15:44:48 Database management systems Database theory Relational model Data modeling Data management Conjunctive query Functional dependency Query optimization Database Privacy Internet privacy Relation
573	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
574	Data Driven Investigation of Faults in HVAC Systems with Model, Cluster and Compare (MCC) Balakrishnan Narayanaswamy† , Bharathan Balaji† , Rajesh Gupta† , Yuvraj Agarwal†‡ † University ‡ Carnegie Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2015-03-04 00:04:56 Heating ventilating and air conditioning Mechanical engineering Control theory Systems engineering Building automation Sustainable urban planning Variable air volume Anomaly detection Thermostat Fault detection and isolation Control system HVAC
575	DISCUSSION PAPER SERIES NoSIMULATING STOCK RETURNS UNDER SWITCHING REGIMES – A Add to Reading List Source URL: www.researchgate.net Language: English Economic growth Production economics Probability distributions Real business-cycle theory Profit Productivity Normal distribution Economic model Index Patrick Minford
576	Regional Research Institute West Virginia University Resource Document Series INTEGRATED MODELING FRAMEWORKS A guide for research projects Add to Reading List Source URL: rri.wvu.edu Language: English - Date: 2015-11-20 16:17:51 National accounts Production economics Industrial ecology Economic planning Computable general equilibrium Environmental impact assessment Life-cycle assessment Inputoutput model Economic model Social accounting matrix Macroeconomic model General equilibrium theory
577	Inference, Models and Simulation for Complex Systems Lecture 1 Prof. Aaron Clauset 1 Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2011-08-25 15:05:50 Probability distributions Infinitely divisible probability distributions Poisson processes Statistical theory Estimation theory Exponential distribution Poisson distribution Maximum likelihood estimation Geometric distribution Memorylessness Binomial distribution Parametric model
578	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure
579	Reducts of structures and maximal-closed permutation groups Manuel Bodirsky∗, Laboratoire d’Informatique (LIX), CNRS UMR 7161, Ecole Polytechnique, 91128 Palaiseau, France, Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2014-01-29 07:07:24 Group theory Lie groups Non-associative algebras Lie algebras Constructible universe Equivalence relation Model theory Mutation Order Group action Vertex operator algebra Lambda calculus
580	Math. Ann. 319, 517–Mathematische Annalen Digital Object Identiﬁer (DOIs002080000165 Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2003-11-07 09:15:42 Homotopy theory Category theory Algebraic topology Symmetry Highly structured ring spectrum Spectrum Symmetric spectrum Adjoint functors Homotopy category Model category Stable model category Equivalence of categories

UPDATE